-
1 semantics independent
независящий от семантики, семантически свободный, без рассмотрения смысла данныхпример, Conventional approaches to data compression are semantics independent. - Традиционные подходы к сжатию данных семантически свободнысм. тж. semanticsАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > semantics independent
-
2 semantics-based
например, если система распознавания изображений определила тип объекта, то можно передавать не изображение, а значительно более компактное описание объекта и его координаты - это называется semantics-based compression - сжатие данных с учётом их смыслаAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > semantics-based
-
3 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
4 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
5 Strachey, Christopher
SUBJECT AREA: Electronics and information technology[br]b. 16 November 1916 Englandd. 18 May 1975 Oxford, England[br]English physicist and computer engineer who proposed time-sharing as a more efficient means of using a mainframe computer.[br]After education at Gresham's School, London, Strachey went to King's College, Cambridge, where he completed an MA. In 1937 he took up a post as a physicist at the Standard Telephone and Cable Company, then during the Second World War he was involved in radar research. In 1944 he became an assistant master at St Edmunds School, Canterbury, moving to Harrow School in 1948. Another change of career in 1951 saw him working as a Technical Officer with the National Research and Development Corporation, where he was involved in computer software and hardware design. From 1958 until 1962 he was an independent consultant in computer design, and during this time (1959) he realized that as mainframe computers were by then much faster than their human operators, their efficiency could be significantly increased by "time-sharing" the tasks of several operators in rapid succession. Strachey made many contributions to computer technology, being variously involved in the design of the Manchester University MkI, Elliot and Ferranti Pegasus computers. In 1962 he joined Cambridge University Mathematics Laboratory as a senior research fellow at Churchill College and helped to develop the programming language CPL. After a brief period as Visiting Lecturer at the Massachusetts Institute of Technology, he returned to the UK in 1966 as Reader in Computation and Fellow of Wolfeon College, Oxford, to establish a programming research group. He remained there until his death.[br]Principal Honours and DistinctionsDistinguished Fellow of the British Computer Society 1972.Bibliography1961, with M.R.Wilkes, "Some proposals for improving the efficiency of Algol 60", Communications of the ACM 4:488.1966, "Systems analysis and programming", Scientific American 25:112. 1976, with R.E.Milne, A Theory of Programming Language Semantics.Further ReadingJ.Alton, 1980, Catalogue of the Papers of C. Strachey 1916–1975.M.Campbell-Kelly, 1985, "Christopher Strachey 1916–1975. A biographical note", Annals of the History of Computing 7:19.M.R.Williams, 1985, A History of Computing Technology, London: Prentice-Hall.KF
См. также в других словарях:
semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… … Universalium
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Cognitive semantics — is part of the cognitive linguistics movement. The main tenets of cognitive semantics are, first, that grammar is conceptualisation; second, that conceptual structure is embodied and motivated by usage; and third, that the ability to use language … Wikipedia
Statistical semantics — is the study of how the statistical patterns of human word usage can be used to figure out what people mean, at least to a level sufficient for information access (Furnas, 2006). How can we figure out what words mean, simply by looking at… … Wikipedia
Language-independent specification — A language independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings; in other words, LISs are language agnostic. LISs also… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
realism — /ree euh liz euhm/, n. 1. interest in or concern for the actual or real, as distinguished from the abstract, speculative, etc. 2. the tendency to view or represent things as they really are. 3. Fine Arts. a. treatment of forms, colors, space, etc … Universalium